Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems

Colored Stochastic Petri Nets for Modeling Complex Biological Systems

The stochastic modeling of biological systems is gaining more and more attention when stochastic fluctuations need to be described. On the other hand, the biological systems under investigation become much more complex than before. Traditional modeling methods like stochastic Petri nets do not easily scale and thus become difficult to tackle this situation. This paper aims to present a colored ...

Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets

RESTART Simulation of Colored Stochastic Petri Nets

In this paper the combination of stochastic colored Petri nets and the RESTART method is proposed to evaluate performance measures of complex systems that depend on rare events. A prototype implementation is described, which is applied to a logistics example.

modeling and evaluation of web services in mobile networks using stochastic colored petri nets

with recent developments in communication technologies, it is possible to access information any time and in any place; however, mobile environments bring forward certain requirements and exclusive challenges including low connection speeds and bandwidth limitations. thus, we need to consider mobile limitations when using web services. providing services and limited resource allocation to users...

Backward Reachability Analysis of Colored Petri Nets

This paper deals with a formal method for the study of the backward reachability analysis applied on Colored Petri Nets (CPN). The proposed method proceeds in two steps : 1) it translates CPN to terms of the Multiplicative Intuitionistic Linear Logic (MILL); 2) it proves sequents by constructing proof trees. The translation from CPN to MILL must respect some properties such as the semantic asso...